Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
441	Constrained Types for Object-Oriented Languages Nathaniel Nystrom ∗ Vijay Saraswat ∗ Jens Palsberg † Add to Reading List Source URL: grothoff.org Language: English - Date: 2011-06-21 07:45:41 Type theory Constraint programming Data types Method C++ Type system Constructor Constraint inference Objective-C Software engineering Computing Computer programming
442	N I E L S J O U B E R T, C R Y S TA L L E M I R E G E T T I N G S TA R T E D W I T H LISZT AU G U S T[removed] Add to Reading List Source URL: liszt.stanford.edu Language: English - Date: 2011-08-14 01:25:12 Type theory Data types Type system Franz Liszt Scala Type inference Variable Assignment OpenMP Computing Software engineering Computer programming
443	Why most! 1! ! Why Most Published Research Conclusions in Add to Reading List Source URL: davidmlane.com Language: English - Date: 2014-06-23 21:01:55 Design of experiments Statistical inference Statistical hypothesis testing Null hypothesis Type I and type II errors Statistical power Statistical significance Psychology Confidence interval Statistics Hypothesis testing Science
444	Psychonomic Bulletin & Review 2003, 10 (4), [removed]Type 2 tasks in the theory of signal detectability: Discrimination between correct and incorrect decisions Add to Reading List Source URL: www.psychophysics.org Language: English - Date: 2010-11-15 13:15:09 Design of experiments Hypothesis testing Probability and statistics Receiver operating characteristic Statistical hypothesis testing Confidence interval Probability Type I and type II errors Normal distribution Statistics Statistical inference Biostatistics
445	KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 12:59:59 Type theory Reasoning Proof theory Deduction Natural deduction Logical framework Resolution First-order logic Type system Logic Mathematical logic Automated theorem proving
446	Universe Polymorphism and Inference in Coq Work in progress Matthieu Sozeau Project Team πr 2 Add to Reading List Source URL: mattam.org Language: English - Date: 2013-04-26 11:29:01 Logic Type theory Inference Type inference
447	The CCured Type System and Type Inference Westley Weimer University of California, Berkeley [removed] Report No. UCB/CSD[removed] Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2003-12-17 16:46:36 Data types C++ C programming language Primitive types Type theory Pointer Type safety C Type system Software engineering Computing Computer programming
448	Package ‘pomp’ June 23, 2014 Type Package Title Statistical inference for partially observed Markov processes Version[removed]Date[removed] Add to Reading List Source URL: pomp.r-forge.r-project.org Language: English - Date: 2014-06-25 14:36:36 Interpolation Regression analysis R Approximate Bayesian computation Polynomial regression Constructor Spline JavaScript Type signature Software engineering Computing Statistics
449	A Practical Subtyping System For Erlang Simon Marlow Philip Wadler [removed] [removed] University of Glasgow Bell Labs, Lucent Technologies Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:15 Programming language theory Constraint programming Data types Polymorphism Logic programming Type system Subtype polymorphism Type inference Unification Type theory Software engineering Mathematics
450	Overview Features Concurrent Programming Add to Reading List Source URL: www.daovm.net Language: English - Date: 2013-09-26 11:41:22 Procedural programming languages Cross-platform software Scripting languages Go ALGOL 68 Anonymous function D Type inference C Software engineering Computing Computer programming

UPDATE